Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic

The method presented in this work is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). The PAL2v is a non-classic Logics which admits contradiction and in this paper we perform a study using mathematical interpretation in its representative lattice. This studies result in algorithms and equations give an effective treatment on signals of information that represent situations found in uncertainty knowledge database. From the obtained equations, algorithms are elaborated to be utilized in computation models of the uncertainty treatment Systems. We presented some results that were obtained of analyses done with one of the algorithms that compose the paraconsistent analyzing system of logical signals with the PAL2v Logic. The paraconsistent reasoning system built according to the PAL2v methodology notions reveals itself to be more efficient than the traditional ones, because it gets to offer an appropriate treatment to contradictory information

Gestão de projeto utilizando indicador-chave de desempenho (KPI) na simulação virtual do desenvolvimento de uma célula robotizada atuando em processos automotivos

A implantação de robôs nos processos de produção é primordial para a indústria automobilista e vem trazendo fortes desafios aos gestores desses projetos. Considerando que Simuladores Virtuais retroalimentados envolvendo robótica podem disponibilizar dados passiveis de serem aplicados em cálculos de Indicador-Chave de Desempenho (Key-Performance Indicator –KPI), apresenta-se neste artigo um método de utilizar essa ferramenta computacional para prever a eficiência de um projeto de célula robotizada com base em indicadores confiáveis para o seu acompanhamento nas etapas do desenvolvimento até que este alcance seu processo produtivo. Para detalhar os procedimentos apresenta-se a instalação de uma Célula Robotizada composta de dois braços robóticos atuando em conjunto no trabalho de estamparia de peças em indústria automobilística, onde, com o auxílio do software Plant Simulation 14, versão educacional, foi construído um pré-projeto e efetuadas simulações e obtidos valores para os ajustes e compatibilizações para as adequações baseados nas dimensões físicas das instalações reais. Os resultados obtidos por meio dos indicadores coletados utilizando o ambiente real e virtual indicam que esta técnica é bastante útil na elaboração deste tipo de projeto porque; permite otimizar a interatividade dos robôs com o processo produtivo extraindo o máximo desempenho de cada equipamento, documentar limites referenciais para futuras decisões e disponibilizá-los para a gestão nas etapas de seu desenvolvimento e ainda oferecer credibilidade aos financiadores através de indicadores de eficiência

Relativity Theory and Paraquantum Logic—Part I: The Time and Space in the Paraquantum Logical Model

From fundamental concepts of the Paraconsistent Annotated Logic with annotation of two values (PAL2v), whose main feature is to be capable of treating contradictory information, was created the Paraquantum Logic (PQL). The studies of the PQL are based on propagation of Paraquantum logical states ψ in a representative Lattice of four vertices. Based in interpretations that consider resulting information of measurements in physical systems, are found two Paraquantum factors: the Paraquantum Gamma Factor � P�, that has his action in the measurements of Observable Variables in the Physical world and the Paraquantum Factor of quantization hψ, which has his action in the Paraquantum World represented by the PQL Lattice. Correlation between � P� and hψ produces paraquantum equations for computation of the physical quantities in real physical systems. In this work we present a study of application of the PQL in resolution of phenomena of physical systems that involve concepts of the Relativity Theory. Initially the time t is considered like an Observable Variable and the paraquantum analysis is done with the same conditions assumed in the relativity theory for the study of the time dilatation. After the time considerations, paraquantum equations are involved with the space-time and velocity creating conditions for a relativistic/paraquantum analysis. In the part II of this work a new approaches of the relativistic phenomena in the Paraquantum Logical Model will show the correlation of these effects with the Newtonian universe and with quantum mechanics

Relativity Theory and Paraquantum Logic—Part II: Fundamentals of an Unified Calculation

The studies of the PQL are based on propagation of Paraquantum logical states ψ in a representative Lattice of four vertices. Based in interpretations that consider resulting information of measurements in physical systems are found paraquantum equations for computation of the physical quantities in real physical systems. In the first part of this work we presented a study of Relativity theory which involved the time and the space with their characteristics as degrees of evidence applied in Paraquantum Logical Model. Now, in this second Part we present a study of application of the PQL in resolution of phenomena of physical systems that involve concepts of the Relativity Theory and the correlation of these effects with the Newtonian Universe and Quantum Mechanics. Considering physical fundamental quantities varying periodically in amplitude, we introduce the paraquantum equations which consider frequency in the analysis. From of these mathematical relationships obtained in the PQL Lattice some main physical constants related to the studies of De Broglie appeared. With the equations of Energy obtained through the analyses is demonstrated that the Paraquantum Logic is capable to correlate values and to unify the several study areas of the Physical Science

Paraconsistent Differential Calculus (Part I): First-Order Paraconsistent Derivative

A type of Inconsistent Mathematics structured on Paraconsistent Logic (PL) and that has, as the main purpose, the study of common mathematical objects such as sets, numbers and functions, where some contradictions are allowed, is called Paraconsistent Mathematics. The PL is a non-Classical logic and its main property is to present tolerance for contradiction in its fundamentals without the invalidation of the conclusions. In this paper (part 1), we use the PL in its annotated form, denominated Paraconsistent Annotated Logic with annotation of two values—PAL2v for present a first-order Paraconsistent Derivative. The PAL2v has, in its representation, an associated lattice FOUR based on Hasse Diagram. This PAL2v-Lattice allows development of a Paraconsistent Differential Calculus based on fundamentals and equations obtained by geometric interpretations. In this first article it is presented some examples applying derivatives of firstorder with the concepts of Paraconsistent Mathematics. In the second part of this work we will show the Paraconsistent Derivative of second-order with application examples

Gestão de ativos em concessionárias de energia elétrica: o uso de Sistema Especialista Paraconsistente para elevação de eficiência e qualidade através da predição

Gestores, operadores e funcionários de manutenção enfrentam diariamente desafios para elevar e manter a qualidade dos serviços prestados em concessionárias de energia. Este trabalho mostra o desenvolvimento e as vantagens de um Sistema Especialista Paraconsistente (SEP) dedicado à gestão de ativos do setor elétrico e suas particularidades através da coleta de dados disponíveis em sistema de supervisão e aquisição de dados instalados em centros de operação (COS) de redes de distribuição elétrica. Este SEP foi construído com base em algoritmos fundamentados em lógica paraconsistente anotada LPA, configurando árvores de decisão capazes de efetuar tratamento de dados com aprendizado de máquina, lidando com informações contraditórias ou incompletas. Por ser executado dentro de supervisório elimina a desvantagem da utilização de múltiplos sistemas para cada finalidade, além de criar um índice de risco efetivo (IRE) que permite aos operadores trabalhar apenas com esta informação integrando operação e gestão de ativos. Ele ainda fornece indicadores especializados baseado em normas técnicas e se comunica nos protocolos mais comuns ao setor elétrico, podendo ser integrado em qualquer nível de automação. Ao final do artigo apresentamos resultados da aplicação do SEP atuando na gestão de transformadores de potência e disjuntores de alta tensão isolados a SF6 com dados simulados e reais de falhas comuns e críticas. Os resultados alcançados com o SEP em sua primeira versão indicam que a técnica utilizada possui grande potencial para aumentar a sua abrangência nas tomadas de decisão tornando-se excelente ferramenta computacional para o apoio à gestão de ativos do setor elétrico.Gestores, operadores e funcionários de manutenção enfrentam diariamente desafios para elevar e manter a qualidade dos serviços prestados em concessionárias de energia. Este trabalho mostra o desenvolvimento e as vantagens de um Sistema Especialista Paraconsistente (SEP) dedicado à gestão de ativos do setor elétrico e suas particularidades através da coleta de dados disponíveis em sistema de supervisão e aquisição de dados instalados em centros de operação (COS) de redes de distribuição elétrica. Este SEP foi construído com base em algoritmos fundamentados em lógica paraconsistente anotada LPA, configurando árvores de decisão capazes de efetuar tratamento de dados com aprendizado de máquina, lidando com informações contraditórias ou incompletas. Por ser executado dentro de supervisório elimina a desvantagem da utilização de múltiplos sistemas para cada finalidade, além de criar um índice de risco efetivo (IRE) que permite aos operadores trabalhar apenas com esta informação integrando operação e gestão de ativos. Ele ainda fornece indicadores especializados baseado em normas técnicas e se comunica nos protocolos mais comuns ao setor elétrico, podendo ser integrado em qualquer nível de automação. Ao final do artigo apresentamos resultados da aplicação do SEP atuando na gestão de transformadores de potência e disjuntores de alta tensão isolados a SF6 com dados simulados e reais de falhas comuns e críticas. Os resultados alcançados com o SEP em sua primeira versão indicam que a técnica utilizada possui grande potencial para aumentar a sua abrangência nas tomadas de decisão tornando-se excelente ferramenta computacional para o apoio à gestão de ativos do setor elétrico